The IR now keeps more type information about numeric types such as Nat1, Nat and Rat