internal.freeTerms
internal.freeTypes
internal.substituteSymbols
internal.substituteThis
internal.substituteTypes
TreeDecorator