refactor(library/hott/path): use HoTT book notation for path concatenation and inverse
feat(frontends/lean): do not allow user to define notation using tokens `!` and `@`, closes #248