Merge pull request #113 from peterlefanulumsdaine/master

Added exploit for polymorphic axioms