More constraint solving

This time with unify operations
Merge branch 'typeAnalysis' of https://github.com/tudelft-mdsd/spoofax-jasmin into typeAnalysis