Starting refactoring of builtins again in new branch. Removing comma from MyXXX constructors.
Some more comma removal.
Removed the old maps, and added the new ones in SDF and Java code. Still need to fix the K environment.
Progress on unifying builtins. Things started to parse now.
Imp seems to work with java-backend after unifing builtins.
Merge branch 'master' into unified-builtins2
Some more work on the new builtins.
Fixing some more examples related to the java backend.
Fixing some more examples related to the java backend - 2.
Pff... forgot a comma.
Small fix for simple-untyped.
Merge branch 'master' into unified-builtins2
Fix imports for ParserTest.
Merge branch 'master' into unified-builtins2
commented out a check that is now unnecessary
fixed kool-untyped definition
fixed kool-typed-dynamic definition
fixed simple-typed-static definition
updated the output of smt-model test
Merge remote-tracking branch 'origin/master' into unified-builtins2