feat(frontends/lean/structure_cmd): add structure_cmd core