push : item `AR____` datastructure item `AR_` item `P` datastructure item Works for List, Nonempty List.