Some of the pop-type files. Others are pending
Merge branch 'typeAnalysis' of https://github.com/tudelft-mdsd/spoofax-jasmin into typeAnalysis