Gen.value deprecated in favor of Gen.const that has a better name