Title: Modular language specification and composition