[static_assert] move AlwaysTrue and AlwaysFalse to typetraits.hh