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

This instance is not used any more when reporting errors.