refactor(frontends/lean/builtin_cmds): explicit token initialization
checkpoint