add proof for list append and example for fold