 | Evaluation of terms under an environment.
evalTerm :: Model a -> Env a -> Term -> a
evalTerm _ e (Var v) = maybe (error "Variable libre") id $ M.lookup v e
e
evalTerm :: Model a -> Env a -> Term -> a
evalTerm _ e (Var v) = maybe (error "Variable libre") id $ M.lookup v e
evalTerm _ e (Var v) = maybe (error "Variable libre") id $ M.lookup v e