Update Sol_Monitor2.ml

Changed a few types to match new API.
Merge pull request #3 from vzy2/patch-3

Update Sol_Monitor2.ml