Exposed conversion function from Kind 1 IL formulas and expressions to terms
Merge pull request #16 from chsticksel/master

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