Continuing changes on the type system. Almost done integrating types!