Make `FlatAst.Util.traverse` traverse `Expr.Scope` correctly

[hansihe]

Expr.Scope has special semantics where nested uses of expressions is treated as a reference to a variable instead of nesting.

FlatAst.Util.traverse and FlatAst.Util.traverse_post needs to handle this properly.