TODO-Liste
==========

  * Behandlung von Literal-Pattern in case-Ausdrücken (bei partieller Applikation)
     eventuell einfacher lösbar durch FlatCurry-Transformation
  * Berücksichtigung von externen Funktionen wie +, -, == etc.
  * Hinzufügen der IO-Monade in Monad-Stack der CEM?