Refactor for upstream name changes.
Runs and measures timing.  Improve makefile.
Handles case-> types. Finds and prints long-running types.
start on inference
Infer runs on the big example, but produces the wrong answer quickly.

Now to debug ...
test case that takes a while
Infer.hs: Mechanically fix most warnings
Add profiling targets.  Perform a little test with eliding subtype calls
Attempt to label parallelism
Add NFData instances and attempt to use parallel strategies
Add a GC and force the ile read before starting the timer
Add stricness, now takes a long time. Remove some tracing.