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