Update .gitignore
Fix typos in code comments.
Rank proof described. Priority proof draft.