misspeller misspells a word; added misspeller thor command; updated proofs for misspeller