- Bugs in partial evaluation for equalities among bool constants
  and a nice recursive call generating a stack overflow! Now solved
- Setup a timeout for z3 in seal
- Better log for seal

Contract resolution still need to be done as well as dealing with the machine code level and so on.

- Contract were extended with list of statements.

- Renamed type declarations as lustre_types and machine_code_types