-val look_for_coercion' :
- Cic.metasenv -> Cic.substitution -> Cic.context ->
- CoercDb.coerc_carr -> CoercDb.coerc_carr -> coercion_search_result
-
-(* checks if term is a constant or
- * a constant applyed that is marked with (`Class `Coercion) *)
-val is_composite: Cic.term -> bool
-