Pattern atcher can match free vars.

Fixed for issue #1092 -- Free vars behave as if they were constants, from the PM point of view.