Add TRS_Loop example

Initial commit: therefor probably buggy
Fix TRS_Loop example
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