New class to handle multiple axiom types in a more efficient and convinient way.