IR*: All expression now have types :)