Implement support to typed trees in TGP so we can effectively support program synthesis.
Implement support to typed trees in TGP so we can effectively support program synthesis.