renameAll (Index n is) mm = 
    Index (rename n mm) (map (\x -> renameAll x mm) is)
renameAll (Index n is) mm = 
    Index (rename n mm) (map (\x -> renameAll x mm) is)
renameAll (Index n is) mm = 
    Index (rename n mm) (map (\x -> renameAll x mm) is)