[TODO list
martin.hofmann@uni-bamberg.de**20090528144649] addfile ./src/TODO
hunk ./src/TODO 1
+* Infer term ordering: total, pairwise lazy, pairwise strict
+* pull IO through all MTLs (?)
+* import Examples.hs when testing Hypos
+* proper execution time (without initialisation overhead)