cryptol: lists