Improve documentation

The docs are currently very barebones. Optimally we'd want detailed descriptions of the semantics of different functions and traits and their safety requirements, and explanations as to how everything fits together.

It could also be nice to have a high level getting started guide.