change neg-aux-lex supertypes