Added the <||> operator, to be used as a non-backtracking choice

Used the newly added 'pos' to check whether progress was made.