Use the correct sybmol writing function to write.
Insert the decl as a decl, not an impl.