Consistencia de Types.