new implementation of LazyList.append, also lazy in the outer list structure