DefaultGenerator<Tree> has coefHeight. Some bugs are fixed.
Bugs with types in random are fixed