New: Type operator