Among notable changes, we can ow use + and * notations in scope
ring_scope on semirings, including the semiring of functions Fd.

This also changes the UPP definition from [T, T+d) periods
to (T, T+d] periods, and all the changes that this implies.