Add Cons._middle (and minor doc fix)