Text this: On Isomorphisms of Intersection Types.