Setting math names (proof, lemma, etc) according to selected language....

Setting math names (proof, lemma, etc) according to selected language. Additional typo fixes and comment improvements.