Add 'context variable may be polytype' spec
Self-validate, use typify-bin

- Introduce `utils.map` and `utils.every`,
- Fix the polytype+context bug
Update release history section
Merge pull request #22 from phadej/app

Self validate using typify-bin