demote identifier-level syntax to "would be nice" feature
make all functions have statically-determinable arity