updating the script for creating benchmarks for monotonic heap to generate code that does arithmetic operations on less precise type
updating the script for creating benchmarks for monotonic heap to generate code that does arithmetic operations on less precise type

akuhlens/schml,Gradual-Typing/Grift,akuhlens/schml,Gradual-Typing/Grift,Gradual-Typing/Grift,akuhlens/schml,Gradual-Typing/Grift,akuhlens/schml,akuhlens/schml,akuhlens/schml