let-safe

 * First stab at deduce-with, specifying constructor function
 * Rename maybe protocol method
 * Reorder Acc constructor args so (partial ->Acc accum) works

TODO
 * Rework deduce-with to write a deduce, rather than a refactor of process