Implementadas las funciones de Types.hh