pub fn type_name(ty: ParameterType) -> &'static str
The contract’s spelling of a type, for a diagnostic.