Isomorphism of "Functional" Intersection Types