Documentation

I need some documentation to make the code more readable. I want to have a look at the current files:

• Grammars.v
• Languages.v
• RG.v
• CFG.v
• Empty.v
• L_an.v
• TnFn.v