* mini/ast_minic.ml: adding constants