Type "NonPunned Class"?
Currently we can allow/disallow punning by using different type hierarchies. It is not possible to set the type "NonPunned Class" in a template. The effect is that we can only control the use of punning globally, i.e., per expansion run. Should/Can we support both -- without over-complicating the type system?