On 12/30/11 6:25 PM, Timon Gehr wrote: > I'd be happy to extend the system, but currently I don't see it fall > short any of the three requirements. Can you help me out? I think it would be great to reproduce the expansion semantics of ddoc. Andrei