Add type argument to Correspondence.keys

Changes Correspondence.keys from a bland Category to a Category<Key>.
Merge pull request #464 from lucaswerkmeister/master

Add type argument to Correspondence.keys