feat(frontends/lean/decl_cmds): remove useless name from 'example' commad
feat(frontends/lean/structure_cmd): checkpoint