let-unfloat should not dead-let-elimination automatically
Add case-elim
Extend SF optimization to vector's monadic streams.