New on CTAN: formal-grammar