Re: ISSUE-92: n-ary builtins

Michael,

Michael Kifer wrote:
> 
> Anyway, we have several possible routes to go with an option-3-like solution:
> 
> 3a. Remove all the well-formedness requirements. The same symbol can have
>     several arities, can be a pred, func, and an individual in different
>     contexts.
> 3b. To keep the separation between preds, funcs, and individuals, but pred,
>     func, external symbols can have multiple arities.
> 
> 3c. To keep things as before, but for external symbols to allow multiple arities
>     (and maybe even allow them to be funcs and preds in different contexts).


To clarify the difference between your options 3b and 3c: in 3b, you mean that "all pred and func symbols, whether external or not, can have multiple arities"; whereas 3c is that "all external symbols, whether pred or func, can have multiple arities (but only external symbols)". Right?

Christian