Hola,
Leyendo la letra de la parte 7, cuando hace referencia a los tipos de la tabla finguitos_usuarios, dice que el tipo del atributo check_out debe ser igual al que está en la tabla Hoteles. Sin embargo, en la tabla Hoteles no hay ningún atributo con ese nombre. Sí hay en la tabla estadias_anteriores, que se utiliza con el atributo anterior, check_in.
Quería consultar entonces si esto es un error en la letra o hay algo más que no estoy viendo. Asimismo, aprovecho para consultar si estos atributos de igual tipo a los de otras tablas, debemos efectivamente verificar que el tipo sea el mismo (ya sea con una función o similar) o con fijar los tipos nosotros manualmente al momento de crear la tabla (viendo de qué tipo son los otros atributos) alcanza.
Saludos,
Santiago.