Comments and cleanup

Added more comments, fixed some typos, threw out some unused or duplicate lemmas, re-ordered some so that they are more decently grouped. Mostly it is just parts of my code, so you can kind of merge without looking.