elements can't be iso
Fixed typos.
Improved description of proof a bit.
Fragment -> full system, but the rules don't fit on a single page so we
might have to revert (or else get fancy with space)
Fixed typos due to out-of-date \dosubst macro
Factored s \in \lang{r} out of the theorem previously numbered as 10.

This property is now a property of \lambdas (thm 9) which is preserved under
translation (them 13). In order to prove them 13, we need thm 12 which is
basically CF + thm 11
Fixed some refs
Merge branch 'master' of github.com:cyrus-/papers

Conflicts:
	sanitation-psp14/sanitation-psp14-short.pdf