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