-- perform beta reduction (if possible)
redBeta env ((x,t):te) (EVar y) (e:es)
  | x == y                      = redBeta env te e es
redBeta env ((x,t):te) (EVar y) (e:es)
  | x == y                      = redBeta env te e es
redBeta env ((x,t):te) (EVar y) (e:es)
  | x == y                      = redBeta env te e es