Simplify AST representation slightly: fill-in the DataType that is stored with each AstVarExpr (in every place where the VarExpr occurs in the rule body), rather than only doing so at the variable's point of definition.
Simplify AST representation slightly: fill-in the DataType
that is stored with each AstVarExpr (in every place where the
VarExpr occurs in the rule body), rather than only doing so
at the variable's point of definition.

bloom-lang/c4,bloom-lang/c4,bloom-lang/c4