Docs

The engine's first two phases are closed and measured; the crate is not published yet. These five documents publish its design for public reading — this is not the specification pasted in, it is the explanation of what the specification decides.