mostAdequateType

abstract fun mostAdequateType(term: Term): KClass<*>

The best (lowest-priority-value) type among admissibleTypes for term.