@fancy-queen-20734 : no... not really. still interested in killing the subtyping, and

Exactly

seems like overkill if there are only exact matches anyway.