Concrete syntax of PFCSes.
We define a concrete syntax of PFCSes to ease reading and writing them. We define the syntax via an ABNF grammar, which we plan to complete with a declarative specification of parsing of PFCSes according to the grammar. We define an executable lexer, tokenizer, and parser to CSTs (concrete syntax trees).