Add type argument to Correspondence.keys

Changes `Correspondence.keys` from a bland `Category` to a `Category<Key>`.

Also requires test fixes in ceylon-compiler; will edit as soon as that PR is submitted.
EDIT: ceylon/ceylon-compiler#1650.