haddock wibbles
bug/simplifier: redundant conditions

don't remove redundant conditions for scalar index types: we can't distinguish between `constant Z` and `ignore.