Add comments.

Many, many implementation notes added.