priorityOfConversion

abstract fun priorityOfConversion(type: KClass<*>, term: Term): Int?

How well term fits as an instance of type, lower being a better fit, or null if term cannot be converted into type at all. Used by OverloadSelector to rank candidate overloads.