Dropped "False" value from boolean sorts.

We shouldn't need that, (t == True) and (t != True) should suffice to
express propositions.