Finished implementation of instanciation of modules for the simple spec. Still need to work with modular dependency for the advanced spec.