Add type argument to Correspondence.keys

Changes Correspondence.keys from a bland Category to a Category<Key>.