PGPKeys now determine their type property - #10