Self-validate, use typify-bin

- Introduce `utils.map` and `utils.every`,
- Fix the polytype+context bug
Update release history section