Reference docs work in progress.
First pass through set semantics complete.