Expand description

Unchecked proof tree types

Structs

Enums