Corrected the types of the constructor, even though those aren't checked
Merge branch 'typeAnalysis' of github.com:tudelft-mdsd/spoofax-jasmin into typeAnalysis