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