WIP, TypeAssign