Update model_intf.ml

Documentation updates