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
Merge remote-tracking branch 'philnguyen/master'

Conflicts:
	rust.rkt