pub fn builtin_arity(name: &str) -> Option<usize>
The type-constructor arities the checker knows without a declaration.