basic invariant checking
distinguish invariants from type usage
create .liquid files
check wellformedness of invariants
combining invariants
invariants in README
fixup regrtest.py to handle .liquid dirs
Merge pull request #205 from ucsd-progsys/invariants

Invariants