diff --git a/src/main/scala/io/github/rustfields/field/FieldFactories.scala b/src/main/scala/io/github/rustfields/field/FieldFactories.scala
index 51c35c6..eb7cce0 100644
--- a/src/main/scala/io/github/rustfields/field/FieldFactories.scala
+++ b/src/main/scala/io/github/rustfields/field/FieldFactories.scala
@@ -4,9 +4,11 @@ trait FieldFactories:
   self: Fields =>
   
   export DefaultableInstances.given
+  
   def fromDefaultableExpr[A](expr: => A)(using d: Defaultable[A]): Field[A] =
     Field.fromExpression(d.default)(expr)
-  def fromIntExpr(expr: => Int): Field[Int] =
+    
+  def fromInt(expr: => Int): Field[Int] =
     fromDefaultableExpr[Int](expr)
 
   def fromDouble(expr: => Double): Field[Double] =
diff --git a/src/main/scala/io/github/rustfields/field/FieldOps.scala b/src/main/scala/io/github/rustfields/field/FieldOps.scala
index f15bee9..859dfe2 100644
--- a/src/main/scala/io/github/rustfields/field/FieldOps.scala
+++ b/src/main/scala/io/github/rustfields/field/FieldOps.scala
@@ -6,6 +6,9 @@ import cats.syntax.all.*
 
 import scala.annotation.targetName
 
+/**
+ * This trait defines additional syntax and operations with [[io.github.rustfields.field.Fields]]
+ */
 trait FieldOps:
   self: Fields =>
 
diff --git a/src/main/scala/io/github/rustfields/field/Fields.scala b/src/main/scala/io/github/rustfields/field/Fields.scala
index 0f6e148..3ed9010 100644
--- a/src/main/scala/io/github/rustfields/field/Fields.scala
+++ b/src/main/scala/io/github/rustfields/field/Fields.scala
@@ -3,7 +3,6 @@ package io.github.rustfields.field
 import cats.Monad
 import io.github.rustfields.lang.FieldCalculusSyntax
 
-import scala.annotation.tailrec
 import scala.language.implicitConversions
 
 trait Fields:
@@ -96,8 +95,16 @@ trait Fields:
      */
     def fold[A](f: Field[A])(z: A)(aggr: (A, A) => A): A =
       f.getMap.values.fold(z)(aggr)
-      
-    def fold[A](f: Field[A])(aggr: (A, A) => A)(using d: Defaultable[A]): A =
+
+    /**
+     * * Folds the elements of the field using the given aggregation function and an implicit default value as initial value for the aggregation. The traversal order is not specified.
+     * @param f the field
+     * @param aggr the aggregation function
+     * @param d the [[Defaultable]] instance
+     * @tparam A the type of the field
+     * @return the result of applying the fold operator op between all the elements and d, or d if this collection is empty.
+     */
+    def foldDef[A](f: Field[A])(aggr: (A, A) => A)(using d: Defaultable[A]): A =
       fold(f)(d.default)(aggr)
     
     def flattenField[A](ff: Field[Field[A]]): Field[A] =
diff --git a/src/main/scala/io/github/rustfields/field/lang/FieldLib.scala b/src/main/scala/io/github/rustfields/field/lang/FieldLib.scala
index 3fb08f8..5fc2333 100644
--- a/src/main/scala/io/github/rustfields/field/lang/FieldLib.scala
+++ b/src/main/scala/io/github/rustfields/field/lang/FieldLib.scala
@@ -8,7 +8,7 @@ trait FieldLib:
 
   def foldhoodfDef[A](aggr: (A, A) => A)(init: => Field[A])(using d: Defaultable[A]): A =
     vm.nest(FoldHood(vm.index))(write = true) {
-      Field.fold(init.neighbouring)(aggr)
+      Field.foldDef(init.neighbouring)(aggr)
     }
 
   /**