Commented out fupdate_list_map

It isn't exactly the same as the lemma I need, and doesn't work (I need
the FEMPTY in the assumption at a different range type than the FEMPTYs
in the conclusion.