Toplevel: misc wrt camlp4