Add support for non-integer constants in the grounding

[Broes De Cat]

Solver needs to be know whether it can use the order of the codomain of its variables or only equality. The grounders needs to be able to map the codomain to integers (e.g. the pointer addresses).