added fixed-point combinators