pub fn format_type(ty: &TypeExpr) -> String
Pretty-print a type expression for display in error messages.