The true liberation will be when your type system is just a set of libraries written in the same language that the type system applies to. Which also means you

The true liberation will be when your type system is just a set of libraries written in the same language that the type system applies to. Which also means you'd be able to add new semantical type behavior specific to a project, not just specific to a language. What we're doing right now it's highly redundant, it's basically two languages in one. One describes the static constraints, and another the runtime ones. There's no need for that.