* Correctly report nullability of tuples in the semantic model:
- Store the original tuple literal rather than just its type
- Visit the original literal without diagnostics only in the nullability walker to understand its type
- Update the generator to allow force visiting fields in the nullable re-writer
- Update type checker to allow checking of converted types too
- Update various tuple tests to be correct
- Add extra tests