runtime: Document functions for tagged pointers