A constexpr-based model for type traits should reduce the number of class template instantiations needed during compilation. Instantiating classes can be costly (in terms of analyses performed and memory required for specializations). Calling a non-template constexpr function is relatively cheap by comparison.

Also, reflexpr doesn't return classes, so it would be is_arithmetic(reflexpr(int));

Andrew