Elm ast to smt transform

See merge request !15

fix missing record fields in the error conversion
add special case for build in Bool enum type in expression and type conversion

added example NotApplicable.elm that should work once we stop assuming Int type for Variables

add more Comments

Add debug Parameter to verifyModules Methode and have elm-verify-integrated use it

See merge request !13