Put the public part first.
In progress: removing hardcoded destructible subtypes (#270).