- Makefile: solved dependency problem when compiling include lusi- Renamed type declarations as lustre_types and machine_code_types
Providing means to have specification as dynamic checks.[bug] seems to crash with EMF backend