Nuprl - list_3

Mem_f was copied from list_2. Whole_segment and Append_segment were taken from list_2 and reproved without groups_1 library.