pub fn supertypeof(sub: Type) -> Constraint