Fixed an issue causing the equation abstraction to incorrectly simplify integer values.
Fixed an issue where new Expression transformers were improperly applied, leading to corrupt simplifications.