feat(frontends/lean/inductive_cmd): create a namespace for each declared datatype
feat(frontends/lean/structure_cmd): checkpoint