Operator that tests for the presence of a particular attribute on a type and optionally applies further tests to the attribute.