Clean: remove lazy_from_fun
Clean: remove Array.create
Clean: remove Printf.bprintf