fix incomplete pattern matching in `∨` and `∧`
use comprehension for `if-true` for single pass + being more idiomatic
remove `size` as duplicate of `len`; rewrite helper functions in more idiomatic Redex