[rules-users] @key declarations for a type - What's under the hood?