typing&engines: accept `is_same_instance` on `null`