Added support for import statements. Added back the option to not check dependencies.
Re-activated evaluation optimization.
Re-activated full normalization