Transfinite Lists for Stainless