Elaborated on comments, added some annotations, and added an "implementation notes" document.  Part of code review, see #29.