Bring enum variants in scope for patterns

[Nokel81]

I guess another option is to allow the following:

match x {
    _::VarA => {},
    ...
}