[boost] [Review] Formal Review: Boost.Move