-\newcommand*\ld@append[1]{\setbinlink{\oplus}{#1}}
-\newcommand*\ld@cons[1]{\setbinlink{\oright}{#1}}
-\newcommand*\ld@funlt[1]{\setbinlink{\olessthan}{#1}}
-\newcommand*\ld@revcons[1]{\setbinlink{\oleft}{#1}}
+\newcommand*\ld@append[1]{\setbinlink{\oplus}{#1}{}}
+\newcommand*\ld@cocons[1]{\setbinlink{\opluslhrim}{#1}{}}
+\newcommand*\ld@cons[1]{\setbinlink{\oplusrhrim}{#1}{}}
+\newcommand*\ld@funlt[1]{\setbinlink{\olessthan}{#1}{}}