Language Design for Meta-programming in the Software Composition Domain