all the variety of Stmts is reduced to just Stmt, then Stmt => Stat
removes names, which aren't names, but are, in fact, unhygienic strings