Fix TRS Loop
Add TRS toyama example
Fix toyama
Fix toyama
Add LPO test
Merge branch 'master' of ssh://kernkraft/home/abau/co4
Fix name generation when saturating applications
Fix Algorithms.Instantiation

Current version of Algorithms.Instantiation instantiates
1. first order declarations from higher order declarations and
2. monomorphic declarations from polymorphic ones

The latter is not needed anymore, because it was only neccessary for RAML's
complexity analysis, which was dropped.

Therefor: drop (2.) as well and fix the issue that monomorphic but
higher order declarations are not instantiated.
Fix LPO example
Extend LPO example
Change representation of known data

Represent known data by using constant primitives of satchmo-core
instead of an explicit constructor (KConstructor) in EncodedAdt.
Remove Undefined from input language

We don't want to deal with partial functions. If the user needs partial
functions he needs to define a Maybe/Optional type.
Refine encoding
Add new encoding of unknown data
Fix toyama
Add output of cache statistics
Add output of cache statistics
Remove scheme inference in CO4.Algorithms.Eitherize
Add handling of unordered pattern matches
Add check for overlapping default matches in TH frontend

... as those would disrupt encoding of case expressions