bump version
start of polymorphism
mentioning some related projects
wip
adding some tests for polymorphic contracts
inferring contracts for polymorphic contracts
cleaning and testing
bump version
documenting polymorphism
updating disabled macros
Merge branch 'master' into gh-pages