extend TS
":set -package cat-synth" so ghci can find CatSynth/Has-inc.hs
cat-synth dependency
HasPair etc
functor-combo dependency
auto-positioning of adder (primF, addBDel, etc)
Tidying
Tweak adder arg & result order for convenience.
Type aliases for addends, sums, and carries, for sanity
Explicit vector version. Misc cleanup.
misc small tweaks
tidying
HasTrieCurry
pick up source changes to CatSynth