rename a List_extra function in lib.lem

since the Lem library function was renamed to be more consistent with
Lem standards