[TODO updated
martin.hofmann@uni-bamberg.de**20090714023157] hunk ./src/TODO 2
-* pull IO through all MTLs (?)
-* proper execution time (without initialisation overhead)
+* pull IO through all MTLs (ok)#
+* add context 
+* proper execution time (ok)
hunk ./src/TODO 13
+* make clear distinction between syntactic equality (should be (==)) and 
+  semantic equality (should be a type class) on terms