A totality-checker for Scheme which can pass its own checks [BSD license]