meta programming language design