Update Sol_Monitor2.ml

Changed a few types to match new API.