Simplif

`sig
val simplify_lambda : string -> Lambda.lambda -> Lambda.lambda
val split_default_wrapper :
id:Ident.t ->
kind:Lambda.function_kind ->
params:Ident.t list ->
body:Lambda.lambda ->
attr:Lambda.function_attribute ->
loc:Location.t -> (Ident.t * Lambda.lambda) list
val is_tail_native_heuristic : (int -> bool) Pervasives.ref
module Hooks :
sig
type t = Lambda.lambda
val add_hook : string -> (Misc.hook_info -> t -> t) -> unit
val apply_hooks : Misc.hook_info -> t -> t
end
end`