Function env_from_datacon_table 

pub fn env_from_datacon_table(table: &DataConTable) -> Env

Create an environment pre-populated with data constructor functions. Each constructor with arity N becomes a ConFun(tag, N, []) value bound to its worker VarId, so that Var references to constructors in the expression tree resolve correctly.