Small unification optimization
Nice full_name for pointer types