Implemented named boolean types correctly, and implemented <, >, <=, and >= operators.