Merge pull request #15 from chsticksel/master

Various changes
Merge pull request #16 from chsticksel/master

Exposed conversion function from Kind 1 IL formulas and expressions to terms
Fixed type declaration
Merge branch 'master' of github.com:chsticksel/kind2