Remove duplicates from union types

[kevinbarabash]

There should never be a type like A | B | A after inference and elaboration. Types like these should all be sampled to A | B so that the elements of the union are unique and have a stable order.