Added quantifier pulling.
Made compatible with MirrorCore by removing all type lists from the type
denotations.
There is something wrong with the unification algorithm in MirrorCore.
The line in MethodSpecTactics is marked.
Merge branch 'master' of ssh://git@github.com/jesper-bengtson/MirrorCharge.git