ConstFunctionReference constructor

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

ConstFunctionReference class