Some progress on compiling cocospec contract.Contract resolution still need to be done as well as dealing with the machine code level and so on.
Scheduling of node equations is now attached to machine type
Merge conflict solved
Further restructuring:- arrow.ml* to define basic builder for arrow (node, name, ...)- machine_code_common similar to corelang but for machine_code (printers, some builders, ...)- machine_code restricted to the translatation from normalized nodes to machines
MLI for normalization and machine_code.Structs defining machines are now in machine_code_types