Core: is_a also allows checking for data types
Improve the documentation for IntegralConstant