Weak normalisation. Definitions without types. Optimizations for holide.
Tweaked Church numerals example.
Merge branch 'master' into experimental
Added support for import statements. Added back the option to not check dependencies.
Re-activated evaluation optimization.
Re-activated full normalization
Ignoring name secial commands.
Fixed imports.
Fixed recursive module scope bug.