+ Changed DiscretizationT record to ADT
+ unsafeIndex instead of safe one