s)] [(RelBinop op expr1 expr2) (evExpr expr1 r (lambda (v1) (evExpr expr2 r (lambda (v2) (caseType v1 [(Int value1) (caseType v2 (0)