Algebraic data types and structural pattern matching RFC

[alexeypetrushin]

+1 for Union, in 80% of cases when I use Variant, Union would be better. And of 
course, Union is useless without auto-cast, so structural (or some other 
auto-cast) is a must.