implementation module eval

import StdEnv
import test

eval :: DSL -> Int
eval (Lit i) = i
eval (Var def) = let (i In d) = def (Lit i) in eval d
eval (a +. b) = eval a + eval b