Allow nested REPEATs and a simpler ONLY style.