Renamed lists in valid_bplustree, which in turn nescessitated some changes in InsertWorksProofs.