Write a specification for the whole project

[Mesabloo]

Supersedes #1, as I'd like to instead write a complete reference for the whole project.

Ideally, the reference for Zilch and N* will be two different documents.

[Mesabloo]

Because it might not be understood correctly, I am talking about writing a specification document, tracing and explaining every design choice, every type system caveat, etc.