redCase env (ELit l@(LStr _ _)) alts       
                                =  redCaseStrLit env l alts
redCase env (ELit l@(LStr _ _)) alts       
                                =  redCaseStrLit env l alts
redCase env (ELit l@(LStr _ _)) alts       
                                =  redCaseStrLit env l alts