export the overload on Boolrel

might even want to make it a proper definition, but this change is less
invasive.