FieldElement constructor

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

FieldElement class