Again, this is not a separate language. This is just a different surface syntax for julia programs. The type system already exists and is implemented.

The only thing that needs implementing is a syntactic form.