Added utility functions for adding declarations to an environment.
Added utility functions for adding declarations to an environment.

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