Exposed conversion function from Kind 1 IL formulas and expressions to terms