InstanceElement constructor

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

InstanceElement class