Add fixpoint combinator to term language

[eb8680]

There's a prototype pair-coded by @fritzo and @eb8680 in this branch, but it needs to be updated and documented. We might also want a polyvariadic version to express mutual recursion.