Expand description

Unproven tree types

Structs