Make specialise actually work.
Add prog-bind-elim, prog-bind-nonrec-elim, and prog-bind-rec-elim
vector stream fusion: deep is INLINABLE rather than INLINE so we can specialise.