[Boost-announce] Formal Review: Typeof