FunctionElement constructor

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

FunctionElement class