Type system updates: moving from research into development

[sodapopcan]

This clarifies some stuff for me, thanks! Well, other comments have too but this is a nice summary.

@dimitarvp

…Unless I keep misunderstanding the ever-expanding scope of this discussion .

Well, unless this is true, of course