fixing pretty printing
removed OEnv (opacity) and added morphisms to variables
adapted Eval to the parametric CTT