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
Simplify and purge unused lemmas
Add proof of equivalence of beta reductions
Remove duplicate import
Add more cleanup and docs
Update Readme with some info
Improve formatting
Merge pull request #23 from knuton/cleanup

Remove lols; add some comments and info
Finish documenting
Align heading levels with other files