Reenabling optimization rules for `Bind`

Fixex the latest problem in [this issue](../../../../Feldspar/feldspar-language/issues/25).