Rewritten enforestVarStatement

`enforestVarStatement` is now greedy when it comes to enforesting
expressions on the rhs of an assignment. This allows us to juxtapose
an expression and a macro that might extend the expression.

Additionally, it fixes a longstanding bug wherein the lhs identifier
was being enforested, potentially causing macro expansion.