This also reduces footprint and makes the task of bottom up parsing much simpler.

It also removes one of the last mutable fields from the IR