The Forest of Types