On Isomorphisms of Intersection Types