need help: alias annotation for DSLs

hi,

enclosed you can find an alias annotation which I think would be very useful
for DSLs. The examples of the API doc explain how it should work.

Why I ask for help here, is that I don't know much about scala compiler
wizardry or whatever is necessary to make the actual magic work.

I would like to have this annotation in the library, because it would certainly
improve scala's internal DSL support, in the way that this annotation makes
the code for these DSL much more clearer to read, hence easier to understand
and maintain, opposed to having to write many alias definitions oneself.

looking forward to your help ;)

best regards
wookietreiber