Transitioning to write-up

I finished my workup of a mock example and partially verified its correctness (it is very formulaic, I have little doubt the rest follows suit). I have started considering what intuitions to present and have begun work in the actual TeX file. Real writeup can begin soon; I should be able to get 1/2 to 2/3 of the selftypes writeup done without reverting to reading mode. Hopefully I can also get an outline of the rest of that section done and simply fill in details from the paper; we'll see how comprehensible the final section is.