Trying self-types
Improvements on type handling in TreeNode.

Thanks to Paco Soberón
Make TestNode & TestNodeMutator disjoint
Merge pull request #1 from unratito/SelfType

Make TestNode & TestNodeMutator disjoint
TreeNode and friends finally generic and working!