fix(compiler): Allow proper disambiguation of enum variants

[ospencer]

When multiple variants with the same name are in scope and one is used in a pattern match, the compiler would warn that the user should disambiguate, but when doing so for variants you'd get a type error. This resolves that issue.

[spotandjake]

I love the look of this change, I assume that the compiler is using the newest occurance of the type? Could we add a third test with explit typing to make sure it is choosing the right one?

Otherwise looks great.

[ospencer]

I assume that the compiler is using the newest occurance of the type? Could we add a third test with explit typing to make sure it is choosing the right one?

I'm not sure what you mean. There's an annotation on the pattern for each test that forces the compiler to use the version annotated. Without the annotation it would guess.

[spotandjake]

ah ok, looks great than