Fix type_more_complex (#49338)
* fix type_more_complex for Vararg{Tuple{}} and Vararg{Tuple}
* add test for type_more_complex
* Update base/compiler/typelimits.jl
Co-authored-by: Jameson Nash <vtjnash@gmail.com>
---------
Co-authored-by: Jameson Nash <vtjnash@gmail.com>
