Why the compiler dosen't enforce correct module declarations?

[Manfred Nowak]

Ary Manzana wrote

> Why use an alternative of the built-in version system?

The version system is not equivalent to the module naming system.

-manfred