some comments and layout changes for Trees.scala