A lot of hardcoding, making expression consistent, e.g transforming a+3 into 3+a for easier pattern matching