follow ocaml/trunk

- don't wrap optional arguments with *predef*
- generate arg_label values for argument labels
bootstrap