Splice in p between current cell and whatever it was previously pointing to
param: p, the cell to splice
See Implementation
Splice in p between current cell and whatever it was previously pointing to
param: p, the cell to splice