added gitignore
added type equality for a few things
narrowed down problem with set lemma (#4) might be something to do with splitting unification variables...
Working set!
Merge branch 'master' of github.com:PrincetonUniversity/VST