Update to support `Options: { caseNever, caseArray, caseEmptyTuple, caseUpperBound, caseLowerBound }`