Optionaloptions: Partial<TopClassKindOptions>ProtectedcollectOptionaloptions: Partial<TopClassKindOptions>ProtectedregisterRegister all inference rules for primitives within a single generic inference rule (in order to keep the number of "global" inference rules small).
Typir provides a default set of Kinds, e.g. primitive types and class types. For domain-specific kinds, implement this interface or create a new sub-class of an existing kind-class.