Fabio Mascarenhas

The intent was for the module system to do that namespacing, the way Titan is doing it, just never got around to doing that for Typed Lua. It should have...

That was exactly the plan, and the way it is done in Titan. Dotted type names are canonicalized to fully qualified (think Java-style) type names if they reference an imported...

We listed the class system as a Google Summer of Code project for 2016, and if there are no takers it is certainly something that we are interested in doing...

@kevinclancy is currently doing classes and generics: https://github.com/kevinclancy/typedlua

We wanted to simplify the type system of Typed Lua, and get a faster typechecker that is both easier to use and easier to add important features that are missing...

This is a very nice idea!