Pointer constraints protocol

Maintainers:
Jonas Ådahl <jadahl@gmail.com> (@jadahl)
