Refinements to pset and caml compile.