Improved the definedness of Times
Corrected the Reactive implementation by allowing the maximum (or minimum) of two Times to be compared when one isn't defined.
Added utilities to the interface (parsers and IO modules)