deprecate `hasPropertyPredicate`

[DetachHead]

at least the part that can be replaced by the in operator as of ts 4.9

https://devblogs.microsoft.com/typescript/announcing-typescript-4-9-beta/#in-narrowing

[DetachHead]

actually nah, because it's still annoying to use with unknown

if (typeof value === 'object' && value !== null && 'foo' in value)
    exactly<{ foo: unknown }>()(value)