Apart from decompiled java, a good source of information about ION format is library enigmatically called libshared
(part of Previewer).
I am attaching mapping of ids to names for ION types and properties. May be useful, if you don't have it yet (I've seen some of it used in kfx.py).