Work on the modularity system.
Added more checks, and fixed module inclusion circularity.
Fixing syntax declaration in predefined modules.
Removing the tab.
More missing module inclusion.
More inconsistency fixes.
Darn tabs.
Yet another missing import.
Somehow this is required.
Adding DefinitionContext, and cleaning up Definition.
Merge branch 'master' into moduleContext
Reorganizing a bit the autoimports. Hopefully to a cleaner solution.
Fixing the fun examples.
Fixing todo comments.
Merge pull request #1210 from radumereuta/moduleContext

Module context