Completed scaladoc in Length.scala.
Added scaladoc about support of arbitary object in Definition and Emptiness's companion object.