ということで

そんなかんじに構文解析のことを「ふにゃー！」と気合入れて考えたら、
TICO のプロトタイプは割とアッサリ動作したです。

tico> (fact: (method (x)
    >     (x <= 1 ? 1 (x * (fact (x - 1))))))
#(method (x) (x <= 1.0 ? 1.0 (x * (fact (x - 1.0)))))

tico> (fact 10)
3628800.0

アッサリだけど、けっこう感動的｡･ﾟ･(ﾉД`)･ﾟ･｡