renamed axiom types in accordance with the standard