|| package:rebase
Boolean "or", lazy in the second argument
Fanin: Split the input between the two argument arrows and merge their
outputs.
The default definition may be overridden with a more efficient version
if desired.
A lifted version of lazy Boolean OR.