ClassElement constructor

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

ClassElement class