more efficient (?) impl of span/segment for List
misc improvements to List