[ issue 1103 ] Fixed documentation

Not only Termination.SparseMatrix triggers a warning under GHC 7.0.4.
[ issue 1103 ] Cosmetic changes
[ issue 1103 ] Removed unnecessary $
[ issue 1103 ] Added TypeSynonymInstances language extension
[ issue 1103 ] Added GHC 7.0.4 to the tested-with field
Merge branch 'maint-2.4.2'