updated simple-untyped.k

Updated simple-untyped.k to work in the new unified-builtins2 branch.
@andreisf @traianf please review (it is almost identical with the one under samples/java-rewrite-engine)
"main" should be just syntactic sugar for Token{"main"}. @radumereuta I thought you fixed this issue some time ago.