Ensure envs of async expressions are disjoint

[mukul-rathi]

This could be enforced by removing free variables in the first expression from the environment of the second and then running type-checking on second expression using the reduced environment.