Exist a type tree of all types?