some changes to polyfns and more docs for type-cond