いや、やりたいことはわかってる。
あとは、試行錯誤あるのみィィィィ！！
とりあえず、

[if,[=,[+,1,2],4],111,222]
if[=[+[1,2],4],111,222]
if(=[+[1,2],4])[111,222]
if(=(+[1,2])4[])111 222[]
if(=(+ 1 2[])4[])111 222[]
if(=(+ 1 2;)4;)111 222;
if(=[+[1,2],4])111 222;
これ全部等価な式ってことでいい気がしてきた。
.の扱いが微妙...。Ｓ式にあわせるべきか、HaskellやML系にあわせるべきか。。。