Improve Position methods

New: some documentation in CausesCheck.
Change: add null check in Equals.