[ Issue 1293 ] Added Pretty[TCM] instance[s] for X.ProblemId and X.Comparison.

X = TypeChecking.Monad.Base.