Added exploit for polymorphic axioms.
Merge pull request #113 from peterlefanulumsdaine/master

Added exploit for polymorphic axioms