Eliminate duplication via polymorphism
Merge pull request #11 from bobgru/Polymorphic-type-trees

Eliminate duplication via polymorphism