Fix main.ml

Prog -> Closure.Prog