Hola.
Con respecto a la primera creo que es ilustrativo. Tengo entendido que el tipo T se usa como genérico, es decir vas a poder cambiar el tipo T en el procedimiento por otro, en este caso CHAR y la idea del procedimiento te va seguir funcionando. Mepa que va por ahí, y asumo que si defino tipo T en el examen no va haber problema.
Para la segunda, a mi en particular siempre me queda más cómo utilizar celda dummy, es como que "más simple"; y algo que nunca supe si esta bien o mal es quitarla la misma antes de devolverla; es decir si voy a devolver una lista que voy generando con celda dummy al principio , antes del return le borro la misma. Supongo que está bien.
Mucho va como implementes.
Espero te ayude y si tenes más dudas tiralas nomás capaz nos podemos ayudar.
Saludos
Andrés