refactor(frontends/lean/scanner): move basic UTF8 procedures to separate module
feat(frontends/lean/notation_cmd): do not allow user to define new tokes containing '(', ')', ',' or change their precedence