Add Symb.Map.mapi
Add function Ms_model.canonize