Add machinery to print uninterpreted constants

[alex-ozdemir]

We may want to change the format at some point, but this is good for now.