Add some functionality to coretypes
Add initial blaze type unification algorithm