Added badMap to Or.
Added a fold method to Or.