Binary FormatΒΆ

TODO: Formal write-up of the binary format.