For some keys the only acceptable values are `yes` or `no`. Some others accept only integers. If we know the type of the key, we should implement value typing for the key.