CoqOfOCaml library added to group Coq definitions