pub fn eval_certain( report: &mut Report, decls: &ItemDecls, defs: &ItemDefs, expr: &Expr, ) -> Result<Value, ()>