Define a subclass of the extrinsic environment to use as compilation environment.
Define a subclass of the extrinsic environment to use as compilation environment.

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