gh-130117: Document why nested Union, Literal, and Annotated types referenced through a type alias are not flattened

gh-130117: Document why nested Union, Literal, and Annotated types referenced through a type alias are not flattened #144145