Restore a clean api for model parser

I have readded the distinction between + and - infinity. I have also reintroduced records as in the previous version of model_parser.ml more meaningful types.