This is a tracking bug for a task. It's likely non-controversial; it just needs to be done.

Pointers aren't defined almost at all. The spec needs to cover them in much more detail.