literal generator
code format
define integer symbol (part of json-defined number)
remove definition of pair, something different from range
use integer insteadof int (which is internal)
developer script