Fixed AreEqualTypes when exactly one param is null AreEquivalentTypes(old, new) refactor Fixed finding substitutions for generic parameters