Rename alwaysTrue and alwaysFalse to t and f
Give short-circuit evalution tests more proper names
Reorganize tests for validate