Clarified behaviour

Clarified the behaviour when a “non-holdable” type is assigned to a
pointer union, both with a test case and with documentation.