Slightly adjust introduction, add R&G instead of [6].
Typo correction in notation section.
Minor presentational tweaks.
Replace replace_projected with 4 parameters, with stitch which has 3.

The new stitch is defined in the relevant theory, and shown
appropriately equivalent to replace_projected. This equivalence is
then used to rewrite the lemmas we actually quote in the paper.