Use module_binding in Pexp_letmodule / Texp_letmodule
Boostrapped successfully
Introduce Asttypes.arrow_flag to encode labelled arguments
Split arrow_flag into Parsetree.arrow_flag and Types.arrow_flag
Remove Typedtree.optional, as its purpose was redundant.
WIP: refining arrow_flag with apply_flag