redCaseStrLit env l ((PLit l',e):_)
 | l == l'                      = redExp env e
redCaseStrLit env l ((PLit l',e):_)
 | l == l'                      = redExp env e
redCaseStrLit env l ((PLit l',e):_)
 | l == l'                      = redExp env e