convert

open fun convert(term: Term): Any?

Converts term into an instance of its mostAdequateType.