LibraryElement constructor

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

LibraryElement class