adding default unchecked basicNextIndex layout operation, also a teeny bit of cleanup
stub notes for quickcheck properties