Permutations
misc small tweaks
BottomCat
drop oops
rewriteIf experiments
BottomCat
oops
transform, but don't reify
simplifyAll''
examples with Maybe
restore Prim import
moved Prim to circat; misc supporting changes
Moved PrimBasics(..), EvalableP(..) to Circat.Prim
Stop hiding Prelude and,or,not (since renaming BoolCat methods)
drop constraints dependency
"LambdaCCC.Prim" --> "Circat.Prim"
Evalable; phasing out this module for now
IfP
change rewriteIf
reifyIf