Arity treatment refactor, BaseForm has RequiredArity and VariableArity