Add module Symb.Map
Replace hash tables in Model.t and Ms_model.t by maps