Text this: Type Isomorphisms for Multiplicative-Additive Linear Logic