These are the same as the original except they are guaranteed to
return T when a true value is to be returned.
Added NOTNOT, which coerces true to T.
These changes are intended to make the test more fully standard compliant,
avoiding the unwarranted assumption that a function that returns true
is returning T (even though this is the case in many implementations.)
Added tests for NIL, T, NOT, and NULL.