Block documents

A block document is a second kind of document, different from the markdown ones. It is made of blocks rather than one body of text, every edit to it is recorded as an operation, and it keeps versions and marks. It is the kind used where a document is edited by several people together. Both the document and its blocks are searchable.