add a collection of axiom types for logical and declaration types
fix a multithread bug revealed by owlapitools tests
Extra constructors for Node implementations