Correct handling of `reduced` in tuple source reduction.
Explicit local tuple sources; dseqs as local tuple sources.
Update to most recent Abracad release.
Improve examples.
Update some TODOs.