ElementAnnotation constructor

1. lean_builder package
2. documentation
3. element
4. ElementAnnotation
5. ElementAnnotation.new constructor

ElementAnnotation class