Added comment explaining why TYPEP is implemented the way it is.
Added comment explaining why TYPEP is implemented the way it is.

clasp-developers/SICL,vtomole/SICL,clasp-developers/SICL,vtomole/SICL,clasp-developers/SICL,vtomole/SICL,clasp-developers/SICL,vtomole/SICL