Improve Aggregation

type:none

This MR improves a few this in the Aggregation pass :

• Use of add_prefix and internal_get_name_and_counter which should be avoided.
• Scope data are stored in a map for faster lock up
• Deduplication of all binder inside a module is changed by the deduplication of module binder before aggregating
• The current pass works in two step: Ast_typed -> list of locally defined decl -> Ast_aggregated. The new pass work in one step : Ast_typed to Ast_aggregated (and a preprocessing before). Therefore all functions are direct mappers.
• Expose function that doesn't take the local module as parameters.
• Separate the deduplication in an independent self-pass for redability.
• Homogenisation with the other pass

Side-effect : this change triggered a bug in the monomorphisation self-pass that is solved in the MR.

src/bin/expect_tests/regression.ml

+open Cli_expect
+
+let%expect_test _ =
+    run_ligo_good [ "print" ; "ast-aggregated" ; "../../test/contracts/interpreter_tests/test_fail.mligo" ] ;
+  [%expect.unreachable ];
+[@@expect.uncaught_exn {|
+  (* CR expect_test_collector: This test expectation appears to contain a backtrace.
+     This is strongly discouraged as backtraces are fragile.
+     Please change this test to not include a backtrace. *)
+
+  (Cli_expect_tests.Cli_expect.Should_exit_good)
+  Raised at Cli_expect_tests__Cli_expect.run_ligo_good in file "src/bin/expect_tests/cli_expect.ml", line 27, characters 7-29
+  Called from Cli_expect_tests__Regression.(fun) in file "src/bin/expect_tests/regression.ml", line 4, characters 4-107
+  Called from Expect_test_collector.Make.Instance.exec in file "collector/expect_test_collector.ml", line 244, characters 12-19
+
+  Trailing output
+  ---------------
+  File "../../test/contracts/interpreter_tests/test_fail.mligo", line 17, characters 54-71:
+   16 |       x
+   17 |     | Other -> (failwith "Failed, but wrong reason" : michelson_program )
+   18 |   )
+
+  Type "michelson_program" not found. |}]
\ No newline at end of file