Allow Empty modules

[le-cram]

In some models, it may be convenient to have an empty module. In such cases, a substitution is defined where the substituting entities are all imported.