Oops, I meant that it will be in xdress.typesystem (where TypeMatcher lives)