Implemented a draft of disjunction. (We still have to remove the shift)