fix uncons and unsnoc primitives