Removing fold11 and foldr1 at least for the moment.  See discussion on issue #20