Export name of function computing ownerships.
The VALUE-TYPE of TYPEQ-INSTRUCTION is now just a type descriptor.