public void encode(Encoder encoder) throws IOException {
		encoder.openElement(ELEM_SYMBOL);
		encodeHeader(encoder);
		dtmanage.encodeTypeRef(encoder, type, getSize());
		encoder.closeElement(ELEM_SYMBOL);
	}
Encode the symbol description as an element to the stream.  This does NOT save the mappings.
@param encoder is the stream encoder
@throws IOException for errors in the underlying stream
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/pcode/HighSymbol.java