Introduced polarity (of symbols and constructors) in both CST and AST. This functionality is currently ignored in the clauses' expansion. Also introduced the module rimmel_pa_WM_equipment.ml.