analysis of types in equality checks (and some other changes)
Merge branch 'master' of https://github.com/Berkeley-Correctness-Group/Jalangi-Berkeley