DirectiveElement constructor

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

DirectiveElement class