Allow "multi argument" functions with `functions.not`

[ModProg]

not = a: if builtins.isFunction a then (b: not (a b)) else !a;

Would support any number of arguments, though the drawback would be the lack of sensible type.