- Add Type Schemes
- Add quantification and instantiation
Merge branch 'master' of https://github.com/alkhaled/Church