A structure for disjunctions (e.g.: computations that may fail)