[wg-camlp4] A new branch to experiment with extension points

[Leo White]

>Do people agree on the need for such attributes, and that a new syntax 
>is required?  

I can understand the desire to attach attributes to the whole compilation 
unit, but that could be done without a new syntax by allowing postfix 
attributes at the start of a file.

I'm not sure that I understand the need for general attributes not attached 
to anything in the middle of the module. If their position is important 
then there must be some item that they are essentially attached to, if 
their position is not important then they can just be placed at the top of 
the module.