Removed trace in favour of traceb in MTT (this makes it easier to turn off
all messages from the typechecker as one can just set the debug value to
 False in Eval)