Replace Foldable1 primitives

The primitives, introduced in f29c54d, should be easier to use in more cases.  The essential difference is the new initializer.

It also requires testing less stuff.  dcc224e explains the advantages.  For reference, the problem was obliquely referred to originally in b8ca77e.

How does this sound to you, @puffnfresh?