Fix hypothesis for spec for std.objectHas

[oconnorr]

No description provided.

[sparkprime]

I think it should be b = (o(f) = (\false, _))

We also need to add rules for the versions of the reflection calls that ignore the hidden status at some point.

[oconnorr]

According to the spec the o function has type String ⇀ (Hidden × Core) and Hidden = { :, ::, ::: }. In particular false isn't a member of the type Hidden, so (o(f) = (\false, _)) doesn't even make sense.

[sparkprime]

You're right, it should be o(f) = (h, _) where h != ::