acknowledge value definitions as Thunks
Evaluates thunks
Show val without Left/Right constructors
Constructs values of type TyConApp