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 pull request #9 from anasazi/fix-block-fresh-lifetimes

Deterministic Fresh Lifetime Generation & Capture Avoiding Substitution
Merge pull request #7 from anasazi/fix-field-offsets

Resolve FIXME in field-offsets
Merge pull request #12 from anasazi/fixme-fixes

Add missing FIXMEs. Remove already resolved FIXME.
Merge remote-tracking branch 'philnguyen/master'

Conflicts:
	rust.rkt
Merge pull request #11 from anasazi/fix-ty-bound-by-lifetime

Implement `ty-bound-by-lifetime`
Merge remote-tracking branch 'upstream/master'

Conflicts:
	rust.rkt