[again, minor fix for debug messages
mail@stefanwehr.de**20050613040311] {
hunk ./TypeInference.hs 266
-             ", new checking for subsumption")
+             ", now checking for subsumption")
}