Checkpoint.

Progress on evaluator.