Text this: Isomorphisms of types in the presence of higher-order references (extended version)