Type system updates: moving from research into development

[Cless]

Really happy with the direction the type system is taking so far.

@tcoopman

What do you think about this?

As a wise man once said, my body is ready. It will be glorious (hopefully!).