add List, more trait impls on List + SList