Make the REFxxx types const even in C. Also add FMTID.