subst should remove declarations
Applying "subst x" should remove the definition of x. This new behavior will be added as a new name or as a boolean parameter.
Applying "subst x" should remove the definition of x. This new behavior will be added as a new name or as a boolean parameter.