updated simple-untyped.k
removed Token{...}
Added discussion about sequential composition
added comment for Stmts as first argument of for
included simple-untyped in config.xml's
Merge pull request #581 from grosu/simple-untyped

updated simple-untyped.k