Fixed lambda inference bug

Lambda inference only looked at Args, but not Dotargs, so the inferred number
of arguments was sometimes wrong.

Also, made foldr2.fl slightly shorter, and added the wonderfully ugly
foldrmap.fl