Allow overloading for tags in match

[marzipankaiser]

When a constructor exists twice in the same scope, e.g.

type Value { Abs(...) }
type Term { Abs(...) }

pattern matching on it is rejected with an "Ambiguous reference":

This is a draft to do overload resolution here, too.