Very well written document.

Only 1 comment:


- typedef vn-id, ap-id, vmn-id

Please consider using length "1 .. max" instead of plain string.
Many tools do not handle a zero-length identifier.