Merged tardis into omnitool.
Fix.
Improved documentation for time.
Changed from Validation to Disjunction in time.