Not yet. Martin mentioned to me in 2012 he doesn't think they took the right turns with defining macros. I don't know whether more information is available at the moment.Andrei
Loosely related, but worth watching : http://www.infoq.com/presentations/data-types-issues