the Nim implementation has first and rest but not uncons.
binary unary popd
ccccons ccons ccons
ccons cons cons
-clear stack bool [pop stack bool] loop
+clear [] swaack pop
cleave fork popdd
clop cleave popdd
codi cons dip
dupdip dupd dip
dupdipd dup dipd
enstacken stack [clear] dip
+first uncons pop
flatten <{} [concat] step
fork [i] app2
fourth rest third
range [0 <=] [1 - dup] anamorphism
range_to_zero unit [down_to_zero] infra
reco rest cons
-rest [pop] infra
+rest uncons popd
reverse <{} shunt
roll> swap swapd
roll< swapd swap
third rest second
tuck dup swapd
unary nullary popd
+uncons [first] [rest] cleave
unit [] cons
unquoted [i] dip
unswons uncons swap