[aunify: vimap lookups do use equal
Helmut Grohne <grohne@cs.uni-bonn.de>**20150330114217
 Ignore-this: a26019c1d52a9fd829b3ab235a32665b
 
 For TExp (==) is equal already, so this change just drops the isWild and makes
 the use of equal explicit.
 
 This is correct, because we never allow wildcards in a LHS. Once they occur in
 a RHS, they do not contribute to a binding but end up in the vimap anyway. They
 therefore need to be ignored during lookups as well.
] hunk ./src/Syntax/UnifyExp.hs 62
-  where matchimg (img', _) = and $ zipWith (\x y -> isWild x || x == y) img img'
+  where matchimg (img', _) = and $ zipWith equal img img'