fix(frontends/lean/parser_cmds): update help and error messages