Phase transformations

Phase order theory and the transfer of phase data along functors.

The normalized phase shifts themselves are neutral -- a group of order automorphisms of ℝ commuting with unit translation, mentioning no category -- and live at Algebra/Order/NormalizedShift/ since MO1.12 (#1323).