Improve documentation for Ms_model and Model
Model conversion to TPTP