is_exactly_a: use typeid() to check the type of expression.