feat(frontends/lean): reserve notation, closes #95
refactor(library): use 'reserve' notation in the standard library
feat(frontends/lean): allow 'reserve' inside namespaces
feat(frontends/lean): validate infixl/infixr/postfix/prefix declarations against reserved notations