Simplify the module system requirements

[ankushdesai]

We had added module system for compositional reasoning. No one seems to use it and there must be a simpler way of setting things up when developers are not using the module system.