Rename stir to prevent_backtracking; improve docs
More TODO edits
Add some missing documentation