Failure @29 (⟨1, 29⟩): expected token Final stack: • `scheme • [(Lean.Doc.Syntax.named_no_paren `dialect ":=" (Lean.Doc.Syntax.arg_str (str "\"chicken\""))) (Lean.Doc.Syntax.flag_on "+" ) (Lean.Doc.Syntax.anon (Lean.Doc.Syntax.arg_num (num "99")))] Remaining: " 99"