fix(frontends/lean): add 'eval' command
fix(frontends/lean): add 'eval' command