Chapter 4: Coherencia y Subtipado
Chapter 5: Biortogonalidad para un Lenguaje Lazy