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)