Print more argument types in NEW_AXIOMS.