feat(frontends/lean/pp): support scopedexpr notation in the pretty printer
feat(frontends/lean/pp): minimize number of spaces when pretty printing notation
feat(frontends/lean/pp): minimize number of spaces when pretty printing notation