fix(library/scoped_ext): bug when declaring nested namespaces
feat(frontends/lean/structure_cmd): checkpoint