+: expand-if ( exp -- res )
+ if-symbol 2swap
+
+ 2dup if-predicate expand
+ 2swap 2dup if-consequent expand
+ 2swap if-alternative none? if
+ 2drop nil
+ else
+ expand nil cons
+ then
+
+ cons cons cons ;
+
+: expand-application ( exp -- res )
+ 2dup operator expand
+ 2swap operands expand-list
+
+ cons ;