implemented in all methods I found useful.

here are a few notes:

• should isIterableAtLeastOnce return NO when isIterable returns NO?
• was not sure what todo with isOffsetAccessible and friends ..?
• was wondering whether isCallable should also use a $this->subtractedType->isSuperTypeOf(new CallableType(...)) construction instead?
  see

  phpstan-src/src/Type/MixedType.php

  Lines 130 to 140 in 9ff3322

  	public function isCallable(): TrinaryLogic
  	{
  	if (
  	$this->subtractedType !== null
  	&& $this->subtractedType->isCallable()->yes()
  	) {
  	return TrinaryLogic::createNo();
  	}
  	return TrinaryLogic::createMaybe();
  	}

should isIterableAtLeastOnce return NO when isIterable returns NO?

Exactly, it should just call return $this->isIterable(). I don't think we can get more precise than that.

• was not sure what todo with isOffsetAccessible and friends ..?

Can we get a union of all offset-accessible types? Is it string|array|ArrayAccess? Yeah, probably.

• was wondering whether isCallable should also use a $this->subtractedType->isSuperTypeOf(new CallableType(...)) construction instead?

Yes, definitely, the current code is wrong.

implemented and rebased

Thank you.