Proper labelling for formulas

* src/form.ml: +smart constructors +is_pos/is_neg
* src/term.ml: +fresh_var