CatCoq collection header for ExpressionMed Cat Coq designs