I'm going to suggest that we avoid bringing over Tuple and Nullable to PhobosV3. We don't need them currently, and they may have an implementation in language by the time that we do. However, planning out how we might bring them over is a good idea!