Add paragraph explaning lack of sufficient type information in second CONSP instruction.
Add paragraph explaning lack of sufficient type information in second CONSP instruction.

vtomole/SICL,vtomole/SICL,vtomole/SICL,vtomole/SICL