move literal proposals down the list + avoid inserting unnecessary ;