Comenzamos definiendo el tipo "nodo".