Fixing 2 bugs in |>>.
Fixing discrete's type.
Fixing simulate to use toTime/fromTime. Simplifies type.