First parser (Prelude); syntax tweaking, polishing Bnf-readme