Support for macros
Make mappings configurable (Names, Types, Contracts, ...)
Make EWG easier to use
Integrate with ePosix