describe pointers that are guarantied to transform

[lueck]

Not all kinds of pointers can be guarantied to be transformed (mapped) correctly. A description is required, for which pointers Selene provides guaranties and for which not. There must also be tests for all kinds.