Introduce "Key" and "Value" type aliases