Adding documentation topic for defpointer