Added a fn useful for determining if a symbol points to a constraint (i.e. a curried function created by core.contracts