functions to query signature for constant and non-constant operators

[joshrule]

Constant operators (i.e. those with arity 0) sometimes have special status as compared with non-constant operators. It would be nice to be able to ask the signature to provide a list of the constants (or the non-constants).