不動点コンビネータを追加＆引き算がバグっていたのを修正＆lambdaの入れ子で外の引数を使うときに適切な値になっていなかったのを修正