[TAG 0.5.3 (now using typed terms, definitely buggy)
martin.hofmann@uni-bamberg.de**20090417104533] 
<
[completely switched to typed terms, algo runs, but may not be correct
martin.hofmann@uni-bamberg.de**20090417104357] 
[small bug in building ArrowT fixed
martin.hofmann@uni-bamberg.de**20090417104049] 
[made an interface for package Syntax and moved Terms.hs to Syntax.hs
martin.hofmann@uni-bamberg.de**20090416141130] 
[TAG 0.5.2 (added types to syntax, not yet linked with main algorithm, executable)
martin.hofmann@uni-bamberg.de**20090416130702] 
>