This reverts commit cae066b7.

todo make them constructable

Import check

See merge request !16

make the elm-verify-external main use the Mode enum

See merge request !14

Elm ast to smt transform

See merge request !15