Minor documentation update regarding the resolution of supertypes of case classes as unions.