updated simple-untyped.k