HNotate

Copperbox revision 533.

(Stateful) Document construction is now done with a state monad rather than CPS plus state. This is probably more idiomatic and the code is slightly shorter.

Documents have to be stateful as they represent not just the document being constructed by also the evaluation context in which note lists are rendered.