Recreando la función Eval

Estoy tratando de duplicar la función eval en racket sin recurrir a la función eval incorporada. Actualmente estoy usando un analizador y lexer matemático simple

$(define simple-math-lexer
       (lexer
        ((re-+ number10) (token-NUM (string->number lexeme)))
        ("-" (token--))
        ("+" (token-+))
        ;; recursively calls the lexer which effectively skips whitespace
        (whitespace (simple-math-lexer input-port))
        ((eof) (token-EOF))))

(define simple-math-parser
       (parser
        (start exp)
        (end EOF)
        (error void)
        (tokens a b)
        (precs (left - +))
        (grammar
         (exp ((NUM) $1)
              ((+ exp exp) (+ $2 $3))
              ((- exp exp) (- $2 $3))))))

por el momento no estoy seguro de cómo implementaría la multiplicación para el analizador. Cualquier sugerencia o enlace para ayudar sería apreciada.