Text this: On the Semantic Expressiveness of Iso- and Equi-Recursive Types