Merge branch 'dev'
More tests.
Added README for first-class polymorphism.
Initialized a type inference algorithm that propagates types for first-class polymorphism.
Implemented a type inference algorithm that propagates types for first-class polymorphism.
Bugfix in README.md.