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