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