How do I define a CONSTANT value as a function so its domain is model values, not strings?

Question

Consider the case where I have a set of nodes, and I want to declare some ordering over them. The easiest way to do this is to declare both the set of nodes and their rankin