fix a nasty bug in CheckTypeMatcher::isEqualImpl