Cosmetic changes.
Added type signatures.
[ Issue 1293 ] Show instance for TypeChecking.Monad.Base.Comparison.

This instance is not used any more when reporting errors.
Merge branch 'issue-1293' of /home/asr/agda-maint