val eval : env:Domain.env -> Syntax.tm -> Domain.value