ElementImpl constructor

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

ElementImpl class