Documentation to Expression.scala