Added getType method to TimeDomainAxiom and implementing classes.
Added lookup table for TimeDomainAxioms, to be used in (a.o.) TimeDomain and TimeDomainRenderer classes.