I got a private email from MIchael phoe Herda containing a link that was useful in understanding some of the issues. He said: Likely you need a method on VALIDATE-SUPERCLASS that states that the superclasses are compatible. See https://mov.im/?blog/phoe%40movim.eu/a9391f4b-485e-4f3a-ae02-051a5fc65ed1