Replace elements with user-defined constants when pretty printing models

[salmans]

When possible, replace auto generated element names with user-defined constant names that denote them, if they exist.

For example, given theory:

P('c);

Print

'c = e#0
P('c)

or even don't mention e#0

P('c)