Reimplement load and import in terms of the same abstract operation, LoadModule. With this, import passes a trivial test.