Finish proof of helper lemma.
Minor updates about proofs, and some numbering fixes when referring to theorems.
Merge branch 'master' of github.com:scslab/ifc.js
Various small improvements, including a revision of extensions.txt (first part).