val eval : env:Domain.env -> Syntax.t -> Domain.t
val inst_clo : Domain.clo -> Domain.t -> Domain.t