fixed couple problem again. The carttype can be introduced indirectly: so checking for the carttype direct handels all cases..
snc of PYTHON and JSON Parser-visitors(java code) added Natural1 and Expressionparsunit to json. Added Whilesubst. to both.
Jars and sourcecode are updated with this commit. A new while test(inside abstract machines!) is added. Interpreter now runs while substitutions