Notes from a Medium-Sized Island

Figured out a purely syntactic translation from "trinity" lambda terms to normal ordered lambda terms. Still puzzling over how to formulate the inverse, but I'm pretty convinced it ought to be doable.