Update axiom-types to ~> 1.0