Provisionally add "is cas" trait to $@%

Just so I can mark the variables in tests that need to be marked this way.