Text this: Toward Isomorphism of Intersection and Union types