update abstract
update intro and org
update labels
Merge branch 'master' of ssh://github.com/olittle/cata-rec
update notation
Ds -> cal D
Merge branch 'master' of ssh://github.com/olittle/cata-rec