Updates to documentation

There are still a number of TODO's left, but most sections are fleshed out.