Split look into look/feed, and add progress combinator to avoid nonproductive loops
Split up some functions into smaller pieces.
Eta-expansion and more inlining
Simplify choice more aggressively
Move main function into own module.
Simplify satisfy.
Fix feedProgress and feedBind.
Eta-expansion.