support for AppliedTypeTrees