Staged Fixed-point combinator

Staged Fixed-point combinator.