Now type-checking evaluations.

*** CAN NO LONGER USE 0 = false, 1 = true BUT CAN USE f = false, t = true ***