pub fn functor_names() -> impl Iterator<Item = (&'static str, u32)>
Completion: (name, arity) for arity->0 names worth offering.