more with sums
twiceP, twiceC
:=>
--disable-documentation
sum experiments
more sum experiments
Finally got sum conditionals to type-check!
Binop
Replaced UnitCat with TerminalCat
"()" --> "Unit" in types
tidy
trim imports