ひたすら defalias するとか。

(defalias '関数定義 'defun)
(defalias 'もし 'if)
(defalias '小さいか等しい '<=)
(defalias '一引く '1-)
(関数定義 竹内関数 (甲 乙 丙)
(もし (小さいか等しい 甲 乙)
丙
(竹内関数 (竹内関数 (一引く 甲) 乙 丙)
(竹内関数 (一引く 乙) 丙 甲)
(竹内関数 (一引く 丙) 甲 乙))))