(intersection_of_coho_intervals): New
(FastPiecewise): Extend + and * to discontinuous functions
(FastLinearFunction, FastPiecewise): Implement -.
Merge branch 'discontinuous_piecewise_arithmetic_easy' into discontinuous_piecewise