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