Starting with inventory:
0000004557-e241753e67df3b2e1135e65b65e8276511c06142a8d540cba87417ba639c203f
[TAG 0.5.2 (added types to syntax, not yet linked with main algorithm, executable)
martin.hofmann@uni-bamberg.de**20090416130702] 
hash: 0000002868-6e4f9f270348b164556b5f7d2f11e57702be7c16a8cfe6c5a35e768baec4a078
[made an interface for package Syntax and moved Terms.hs to Syntax.hs
martin.hofmann@uni-bamberg.de**20090416141130] 
hash: 0000001699-1fe41c4972f22792194ec6fc014d5a7c6a443a496b70080e27bf9feb0edd3b11
[small bug in building ArrowT fixed
martin.hofmann@uni-bamberg.de**20090417104049] 
hash: 0000002121-527f8cd7daf3a37bf9104313f31d4ae89aa3383d731ab0dab47942b755aa0112
[completely switched to typed terms, algo runs, but may not be correct
martin.hofmann@uni-bamberg.de**20090417104357] 
hash: 0000028350-1371e4c7edd58ec07fe19884b24723d03ccff679cdf700bba83084f46d882263
