Tuples conform to Equatable

Great progress. :slight_smile: One thing that makes me sad is that this requires new runtime support, so even if accepted I wouldn't be able to use it for a long long time. :slightly_frowning_face: