Checkpoint before redefining combinators
Checkpoint
Reformulated in light of new terminology and facts (i.e.
"homomorphism" describes the paper's lifts between arrows,
separated laziness from conditionals to make it clear that
the categories are ArrowChoice instances); simplified
proofs of distributive laws over conditionals; moar wurds