Expose the map in ModelMap, and add `find` and `fold` functions over that map

[hra687261]

I don't know if there is an alternative "proper" way to do this, but when using alt-ergo as a library, it is useful to expose these functions to be able to retrieve the model's bindings and use them