Renamed TimeAxiom to TimeDomainAxiom. Introduced TimeDomainAxiomType enumeration.