fn compile_term( term: &Term, case: CaseMode, dates: &dyn DateResolver, ) -> Result<CTerm, CompileError>