Update axiom-types