Bunch of changes to the type system. Array types are now infered by the VM ( Don't need to be registered )
Functions in the VM can return.