Algebraic data types and structural pattern matching RFC

[xigoi]

The keyword conveys that it's a union type, which is false. `enum` would be 
even worse since it would imply that it's an enumerated type.