reset head; binary lift is needed. remove multi-return function in filters and folds