Rewrote the proposal from scratch, based primarily on language by @bobthecow.