Distinctions should be defined in terms of intersections and opaque types

[pnwamk]

Or at least, we should investigate this approach, since having explicit Distinctions along with our other features is possibly redundant.

[AlexKnauth]

If we do this, issues like #408 would be resolved by changes to intersection types, right?