Document abstract format of type-related trees