Modules, Imports, Various fixes

All tests (but one - qualifier instantiation) pass.

I'll add more in README.md as we go