Add n-bit bool codec
Add either (disjunction) codec