(nextcons, xcdr, xfloat): Update for changes in