return unification variables from reification

- examples with unification variables are starting to work.
Merge branch 'master' of github.com:jesper-bengtson/MirrorCharge