New: star operator for type type