feat(frontends/lean/pp): take notation declarations into account when pretty printing

TODO: support foldl/foldr and binders
feat(frontends/lean/pp): take notation declarations into account when pretty printing