ParameterElement constructor

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

ParameterElement class