Text FormatΒΆ

TODO: Formal write-up of the text format.