Interface ExprHandler<T>

interface ExprHandler<T> {
    binL(lhs, opr, rhs, env): U;
    binR(rhs, opr, lhs, env): U;
    dispatch(expr, opr, argList, env): U;
    subst(expr, oldExpr, newExpr, env): U;
    test(expr, opr, env): boolean;
}