fixed bug in comp Glue; switched to comp instead of face of fill
different proof for idSElim
use comp to enable optimization also for hsums