fixing some definitions.
Merge branch 'master' of github.com:jesper-bengtson/MirrorCharge
the first few SepTests are working!

- seems to be an issue with unification variables,
  probably dealing with vm_compute and meta variables.