Compiler specs: Improve modules specs