Fix boolElim optimisation

It made assumptions about the form of Delay which have changed with the
new erasure, so wasn't being applied any more (it is a modest, but
noticeable, performance gain).