Implements a new morphism parser that doesn't depend on yaml and has
much nicer properties in "MA.Coalgebra.Parser".

This is not yet complete:

  - Needs more testing
  - Needs to handle special cases better
  - Needs a way for SomeFunctor to retrieve it's own sort