Program Representation Size in an Intermediate Language with Intersection and Union Types