add python example
fixed point combinator implementation attempt