let coerce_arr arr = 
    AofData.define arr; DataofA.define arr; 
    Ax2AofData.define arr; Ax3IsAofData.define arr