TODO: printing of enums in synth functions

[polgreen]

Currently, enum types are printed using internal names when we print synthesis functions.

e.g., for test-synthesis-9.ucl we print

define h (x: _type_enum_1_, y: _type_enum_1_): boolean = (t1 == x);

The correct translation for _type_enum_1_ should be enumT1.