- Added typeprop analysis from cc2014 branch
- Improved genBoolEval
- Added notes