Eliminate some admits
Add lemmas 3.5 and 3.6
Add lemma 3.7
Rename in alignment with Kashima
Add everything but one sub-lemma
Attempt at zero-based nthred
Some more sublemmas about zip
Add Standardization Theorem
Finish proof of Standardization Theorem
Rename Kashima module
Merge pull request #22 from knuton/finish-kashima

Finish Standardization proof