Introduced DoNothing, an completed assignment reduces to a DoNothing statement that can't be reduced and can't manipulate the current environment.

Introduced Assign class, if an assignment can be reduced, return it within a new Assign object