A built-in function of two arguments, named by an enumeration so that adding one is a case here rather than a case of ParamExpression. Every list of these is derived from the type by EEExtensions.Union.allCases, so adding a case reserves its name and reaches the parser at once; the compiler then requires only that binFuncName covers it.