En otras palabras, los tipos están asociados con "valores en ejecución" en lugar de "expresiones textuales".