Eval implemented fully; all tests pass