Completing 5eb53b5bc8d765ed75e965f43f1084e18efc8790 (I unfortunately
did not notice that kernel/values.ml had to be made consistent with
kernel/cic.mli).