Added builder for solving constraints. Currently not working.
Merge branch 'typeAnalysis' of https://github.com/tudelft-mdsd/spoofax-jasmin into typeAnalysis