Fix exp_of_minus_t_* functions, add some _dydt functions.

Also rename ts -> t in some places to reflect newer usage.
Add ebdf3_lte_estimate and self tests