if shadowing is forbidden we now reuse the type index for the same name, rather than inventing new ones (for the same name) as before;
if shadowing is forbidden we now reuse the type index for the same name, rather than inventing new ones (for the same name) as before;

NaaS/motto,NaaS/motto