Type system updates: moving from research into development

[apoorv-2204]

How it will affect message passing b/w processes?since they are dynamic types