Initial commit
Add failing example
Allow overlapping instances from module imports, fix tests
Permit overlap of instances introduced by module imports