Added support for InfixC to Control.Monad.Free.TH. Extended docs.

The example can now be run by itself and interacted with. It also makes use
of the newly-added InfixC support.