Tuple types with different element ordres being treated as distinct types

[EvanMachusak]

library ListTest version '1.0.0'

define private L: { Tuple { b: 2, a: 1 }, Tuple { a: 1, b: 2 } }

This type of L is List<System.Any> because we are treating these tuples as different types.

[baseTwo]

Demo projects didn't build, work rolled back in PR #437