Typed AST: Migrate WHILE_STATEMENT rule.
Typed AST: Migrate DO_WHILE_STATEMENT rule.