Twiddle test cases so they respond to new design

Next commit will allow bound variables to match free variables.
Allow bound vars to match free vars

A free var is effectively a constant, as far is matching should be
concerned.  This is a simple fix...
Merge pull request #1095 from linas/free

Pattern atcher can match free vars.