fixed simple-untyped in the java rewrite engine
Reverted spawn.imp
JRE: Added tests for simple.
Merge branch 'traian-test' of https://github.com/kframework/k into traian-test