ghci sessions in document
add modRef; define lensMap earlier
refactor diagrams