Sum of products sop

The structure of Algebraic data types - sum because variants combine via "or" (one of mt or node), product because each variant's fields combine via "and" (a node has v and l and r).

The structure of Algebraic data types - sum because variants combine via "or" (one of mt or node), product because each variant's fields combine via "and" (a node has v and l and r).