Notes from a Medium-Sized Island

Starting to get stuck on how exactly to implement the type transformation I want to; it all looks so simple in string diagram form, but it's considerably trickier on actual debruijn terms.