Parser allows negative integers in subranges
Makefile targets clean-kind2 to clean only kind2 build, not ocamlczmq