VHeap is now a readable instead of a changeable
Remove the explicit VEnv from the variable update operator. VEnv is now implicit in the updates.
Remove the explicit VEnv semantic component from the VPushBatch operator constructor.
Eliminate the VEnv sem comp from constructors and pass instead as semantic component.
Simplify bindtvars reduction to emit Unit and return the VEnv as a changeable
Minor simplification