Add some sentient constructors
Compile to bytegraph
Compile to {Tree, Graph}
Add theorems