Fixed order of auto-opened modules
Pervasives modules are now opened in the same order as the imports.