rm warning in constant.ml
reserved word from prov in js files
profiles
compact string creation

[fix to merge]
generalize optim
rewrite 1000 into 1e3
why doesn't it work