case Binary(Plus, e1, e2) => (e1, e2) match{
        case (S(s), _) => S(toStr(eToVal(e1)) + toStr(eToVal(e2)))
        case (_, S(s)) => S(toStr(eToVal(e1)) + toStr(eToVal(e2)))
        case (_, _) => N(toNumber(eToVal(e1)) + toNumber(eToVal(e2)))
      }