Allow equal/max to be decalred with a pred, without args.

This makes it easier to use them as predicates themselves, or to create aliases to them, prior to the arguments being defined.