sb-eval: use its own lexenv type.