Fix #1

Finished off the docs for assert and export. Haven't finished the bits
for the correction module yet, but it's not finished (or tested) either
so we can close the ticket for now.

Also started work on #4