WIP HKT
Fix handling of type levels during Linking