Made Numbers testable and added String test+sdf3
Merge branch 'sdf3' of https://github.com/tudelft-mdsd/spoofax-jasmin into sdf3