is, as, Casting

is (Type Query)

See Cpp2 is:

TODO Also support value query?

as

See Cpp2 as

Constructor Casting

Classical C++ Casts

All of these also work for smart pointers (T^, T+, T-), replacing std::*_pointer_cast.