admissibleTypes

abstract fun admissibleTypes(term: Term): Set<KClass<*>>

Every JVM/Kotlin type term could reasonably be converted into.