pttype trees and operations.