All those check marking things should only get pointers, no tagged ints

Signed-off-by: Stefan Marr <git@stefan-marr.de>
Untag not needed here, already done

Signed-off-by: Stefan Marr <git@stefan-marr.de>
Let's do the Pointer type transition in Untag

Signed-off-by: Stefan Marr <git@stefan-marr.de>
More missing read barriers

- perhaps there is some optimization potential here, who knows. I don't. So, let's be conservative.

Signed-off-by: Stefan Marr <git@stefan-marr.de>
Need to distinguish in pointer macros also the type

Signed-off-by: Stefan Marr <git@stefan-marr.de>