What's the Type of an Ontological Mismatch?

(Brief post, just barely not a quick take. This type signature gets put to work in Rocks to Rules, which locates mismatches on a ladder of binding-types.)Lately I've been thinking about ontological mismatches a lot - even more than I usually might.