More private fields

src/main/scala/inox/ast/CallGraph.scala

@@ -6,7 +6,7 @@ package ast
 import utils.Graphs._
 
 trait CallGraph {
-  val trees: Trees
+  private[ast] val trees: Trees
   import trees._
   import trees.exprOps._
   val symbols: Symbols

src/main/scala/inox/ast/Constructors.scala

@@ -10,7 +10,7 @@ package ast
   * @define encodingof Encoding of
   *  */
 trait Constructors {
-  val trees: Trees
+  private[ast] val trees: Trees
   import trees._
   import trees.exprOps._
   implicit val symbols: Symbols

src/main/scala/inox/ast/Definitions.scala

@@ -87,7 +87,7 @@ trait Definitions { self: Trees =>
         with Constructors
         with Paths {
 
-    val trees: self.type = self
+    private[ast] val trees: self.type = self
     val symbols: this.type = this
 
     // @nv: this is a hack to reinject `this` into the set of implicits
@@ -271,7 +271,7 @@ trait Definitions { self: Trees =>
   }
 
   case class TypedAbstractClassDef(cd: AbstractClassDef, tps: Seq[Type])(implicit val symbols: Symbols) extends TypedClassDef {
-    def descendants: Seq[TypedClassDef] = cd.descendants.map(_.typed(tps))
+    def descendants: Seq[TypedCaseClassDef] = cd.descendants.map(_.typed(tps))
   }
 
   case class TypedCaseClassDef(cd: CaseClassDef, tps: Seq[Type])(implicit val symbols: Symbols) extends TypedClassDef {

src/main/scala/inox/ast/ExprOps.scala

@@ -26,7 +26,6 @@ import scala.reflect._
   *
   */
 trait ExprOps extends GenTreeOps {
-  val trees: Trees
   import trees._
 
   type SubTree = Expr

src/main/scala/inox/ast/GenTreeOps.scala

@@ -23,7 +23,7 @@ trait TreeExtractor {
   * @tparam SubTree The type of the tree
   */
 trait GenTreeOps {
-  val trees: Trees
+  private[ast] val trees: Trees
   import trees._
 
   type SubTree <: Tree

src/main/scala/inox/ast/TreeOps.scala

@@ -3,7 +3,7 @@ package inox
 package ast
 
 trait TreeOps {
-  val trees: Trees
+  private[ast] val trees: Trees
   import trees._
 
   trait TreeTransformer {

src/main/scala/inox/ast/Trees.scala

@@ -27,7 +27,7 @@ trait Trees extends Expressions with Extractors with Types with Definitions with
   }
 
   object exprOps extends {
-    val trees: Trees.this.type = Trees.this
+    private[ast] val trees: Trees.this.type = Trees.this
   } with ExprOps
 
   /** Represents a unique symbol in Inox.

src/main/scala/inox/ast/TypeOps.scala

@@ -4,7 +4,7 @@ package inox
 package ast
 
 trait TypeOps {
-  val trees: Trees
+  private[ast] val trees: Trees
   import trees._
   implicit val symbols: Symbols