Use new names in definitions of low-level binary functions.
Use new names in definitions of low-level binary functions.

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