env : Nat -> List Domain -> Env
Calculate the environment from a list of domains.
domain : Env -> Domain -> Codegen CGDomain