Add ThatString type and tests checking the pass and fail status.