Add built-in knowledge about common type classes
Add built-in knowledge about common type classes

in particular `Functor`, `Applicative`, `Traversable`, `Foldable` and
`Monoid.

antalsz/hs-to-coq,antalsz/hs-to-coq