Add Types.BOOLEAN check to specs.