add a collection of axiom types for logical and declaration types