modular specs compilation framework