fix(frontends/lean/parser): user provided numeral notation should have precedence over the default based on 'num'
feat(frontends/lean): allow expressions to be used to define precedence, closes #335
refactor(library): use "symbolic" precedences in the standard library