feat(frontends/lean): allow users to define "numeral notation"
feat(frontends/lean): allow users to define "numeral notation"