Merge pull request #463 from lucaswerkmeister/master

Fix #462
Add type argument to Correspondence.keys

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