Rename types.unify to types.common_super_type