Fixed bug in tryMatch as it failed to unify var a with var a.  Rule ordering now seems to work as it should.