Working with type trees