[fixed bugs in unification
mail@stefanwehr.de**20050524011625] {
hunk ./Unification.hs 154
-                     Nothing -> return Nothing
+                     Nothing -> reduceAT at rest
hunk ./Unification.hs 182
+unifyOneStep (t1@(TyAssoc _) :=: t2@(TyAssoc _)) =
+    do res <- oneStepAssoc t1 t2
+       case res of
+         Nothing -> oneStepAssoc t2 t1
+         Just x -> return $ Just x
}