bottomComp; "bottom" --> "undefined"
GADT form
instances
Foldable; dfa
Replace single BottomCat (:>) instances with many, adding a -> b
bottomRep
drop mkBot
cons, unListU; misc tidy
swapped Maybe Rep (a :* Bool --> Bool :* a)