grammar: new `with` statement