fix for unification.k
Updated ! with ?
Merge branch 'unified-builtins2' into issue-607
Enforcing failback to syntactic equality for set difference and free vars computation.
Merge pull request #653 from kframework/issue-607

Issue 607