Importing modules

Several rules when importing modules.

• They must be constant (declared with val)
• They must not have any type annotations
• They must reference files that actually exist
• The paths must be relative to the current source file