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

X = TypeChecking.Monad.Base.
Merge branch 'issue-1293' of agda-maint