(original) (raw)

The idea is that each base type (Function, Predicate, Block) had a "natural" arity and we'd only use the prefixes for other arities.