a <code class="other-name">type-error</code> is signalled.</li>
    <li>If a prototype specifies a non-<code class="json-literal">null</code> package name which does not name a registered package, a <code class="other-name">package-error</code> is signalled.</li>
    <li>If a prototype specifies a non-<code class="json-literal">null</code> class name or a <code class="json">Member</code> of the superclasses <code class="json">Array</code> which does not name an existing class, a <code class="other-name">cel