Fix $check-error.
Improve tests of boolean applicatives.
Improve error handling in test support implementation.
Test the evaluator.