Remove the eta delay mechanisim from the evaluator.
Remove the eta delay mechanisim from the evaluator.

This brings the evaluator more in line with the reference semantics,
although there may still be some differences.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol