fix(frontends/lean/notation_cmd): bugs in 'reserve notation' command
feat(library/general_notation): reserve unary minus