let coerce_comp comp = SofData.define comp; DataofS.define comp; Ax2SofData.define comp; Ax3IsSofData.define comp