Made discarding unnormalized timexes as an option flag;