Is there an adjectival form of the word "type" that means "having to do with types"? The obvious adjectives "typical" and "typic" mean something different (roughly, "characteristic").
Context: In type theory I am looking for an adjective to modify "equality" to indicate that I am talking about the equality type rather than the definitional/judgmental equality. For this reason, using "type" attributively won't work either, because "type equality" is established to mean equality of types.
