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