Improve list and tuple literal type inference