fix description of what is a valid bit index
add remark about our assumption about int width of 32 bit
add remark on our use of the word "integer"
add remark about overflow of Startposition+Length
explain in more detail how we specified bitwalker
spell check