Tweaks in List.unshift / List.push