Fixed a bug with consistency checking of tuples.
Fixed a bug when comparing terms in eval.ml
Added ucaml and moved files to src.
Added global makefile.
Removed extlib.
Cleaning up make system.
Compilation works again without Sundials.
Updated the makefile.
Removed submodule.
Added new submodule.
Working without Sundials.
Native compilation works.
Removed old sundials files.