Algebraic data types and structural pattern matching RFC

[j-james]

The types of the variants are not required to be unique. While I somewhat agree 
from a type theory perspective (well, actually, I'd prefer this to be called 
`enum` and objects to be called `struct`), I think `union` is a much more 
approachable keyword that conveys what the type is doing better.