First work on CADE presentation
Presentation wibbles
Wibbles to presentation and equivalence class partitioning
Update presentation
Don't show defining equations by default
Update Nat and Rotate example
Don't unnecessarily print Unproved:
Presentation tweaks
Twiggle twiddle cade presentation