fix a bug: matchKind is supposed to return the kind of the fully saturated thing
fix a bug: matchKind is supposed to return the kind of the fully saturated thing

simplified a bit along the way

cartazio/omega,minad/omega