updated simple-untyped for the java_rewrite_engine; minor parsing fix to bag.k