Add 'context variable may be polytype' spec
Self-validate, use typify-bin
Update release history section