Default imports are now conditional

A default import is now now only added when we are NOT compiling that
specific default import.
Made Execution aware of default imports

- Check added whether a default module should be recompiled
- Default imports are now added to the list of imports, to ensure that
their declarations can also be found at run-time.