add back some operators to BatPervasives;
preprocessing of BatPervasives.mliv