Add BoolRule and instances Empty, False.