type pattern

Also written: is pattern

A pattern like `rate is WeightRate w` that checks an object's real type and, if it matches, gives you a variable of that type.