Implementations and tests over BOOLEAN type.