internal.attachments
internal.changeOwner
internal.defineType
internal.freeTerms
internal.freeTypes
internal.removeAttachment
internal.setPos
internal.setSymbol
internal.setType
internal.substituteSymbols
internal.substituteThis
internal.substituteTypes
internal.updateAttachment
TreeDecorator