fix-B[f]

I think this is a better fix than the hack in SIE, but still not
completely satisfied. Allows addentries! and domain and range spaces
for H[w].