Plus, if it is implemented as a pre-processor (CamlP4-like) you could make powerful domain-specific languages and directly embbed them in D programs