Adding failing examples.
Restoring offending test
Fix in zipType
Fix in overload resolution
Adding tests to test suit
Merge pull request #80 from UCSD-PL/fix_crash

Fix crash