Type --> TypeSpec

En preparación para introducir estructuras de datos
para los tipos en el intérprete...