respect opaqueness of `@opaque` types

[msz]

Right now Hammox is treating @opaque just like a public type, which means if matching fails it will show a stacktrace going into the internals of the type. We should modify this so that the stacktrace stops at the opaque type.