Add compiler check for conflicts of module hierarchy overlap

[plajjan]

Since #1940 we now allow "overlap" of modules, like we can have a foo module (src/foo.act) and a foo.bar module (src/foo/bar.act). If the foo module defines something called bar, we get a conflict. We currently do not check for this, but we should. Add a check!