Remove inline-case-binder from bash, as it causes Dead Id core lint error.
vector stream fusion: add flattenTestDown, -ddump-simpl, cleanup
Fix Navigation.hs contexts