Added isTraversable, isArrayAccess and keyIsset

I added three important assertions that are missing. See the code for details.
this check does not correspond to what you describe in the phpdoc and the exception message. It should check ArrayAccess, not Traversable