NOJIRA enforce type restrictions on inferred ancestors; fix typo preventing proper type restriction application. Sigh.