to make sure their list fusion is implemented in terms of foldr (and not
build directly), with proper writing-back rules.
This ensures that, for example,
c `elem` "!@#$%^&*()"
works without actual list code.
Also, for good measure, add foldr fusion rules for short lists, and
make the comment there more useful.