Check for collisions in defs (Fixes #33)
Allows FFI statements.
Support module loading.