some work on parametric polymorphism details for tech report
Merge branch 'master' of https://github.com/Soares/agi-2014-papers