Type system updates: moving from research into development

[sergio]

Does this mean that the type system you’re exploring will ultimately replace typespecs entirely?