Better support for maps:map

Summary:
Elab the lambda in `maps:map/2` once for every key/value pair of the given map type, so as to keep the precise association between key and result.

This effectively makes the complexity O(map_fields * clauses) instead of just O(clauses).
However, this shows no noticeable performance impact in production.

Reviewed By: TD5

Differential Revision: D85590251

fbshipit-source-id: 266a4d3f4f5b71ab738ee9c799dda7e30161560a

Author: VLanvin

crates/elp/src/resources/test/eqwalizer_tests/check/custom-OTP-27.pretty

@@ -3255,34 +3255,4 @@ error: incompatible_types (See https://fb.me/eqwalizer_errors#incompatible_types
 Expression has type:   number()
 Context expected type: binary()
 
-error: incompatible_types (See https://fb.me/eqwalizer_errors#incompatible_types)
-     ┌─ check/src/custom.erl:2722:5
-     │    
-2722 │ ╭ ╭     maps:map(fun
-2723 │ │ │         (ka, va) -> va2;
-2724 │ │ │         (_K, V) -> V
-2725 │ │ │     end, M).
-     │ ╰─│───────────^ maps:map(fun, M).
-Expression has type:   #{ka => 'va' | 'vb' | 'vc' | 'va2', kb => 'va' | 'vb' | 'vc' | 'va2', kc => 'va' | 'vb' | 'vc' | 'va2'}
-Context expected type: #{ka => 'va2', kb => 'vb', kc => 'vc'}
-     │   ╰───────────' 
-
-Because in the expression's type:
-  #{ ka =>
-    Here the type is a union type with some valid candidates: 'va2'
-    However the following candidate: 'va'
-    Differs from the expected type:  'va2'
-  , ... }
-
------------------------------- Detailed message ------------------------------
-
-  #{ka => 'va' | 'vb' | 'vc' | 'va2', kb => 'va' | 'vb' | 'vc' | 'va2', kc => 'va' | 'vb' | 'vc' | 'va2'} is not compatible with #{ka => 'va2', kb => 'vb', kc => 'vc'}
-  because
-  at key `ka`:
-  #{ka => 'va' | 'vb' | 'vc' | 'va2', kb => 'va' | 'vb' | 'vc' | 'va2', kc => 'va' | 'vb' | 'vc' | 'va2'} is not compatible with #{ka => 'va2', kb => 'vb', kc => 'vc'}
-  because
-  'va' | 'vb' | 'vc' | 'va2' is not compatible with 'va2'
-  because
-  'va' is not compatible with 'va2'
-
-203 ERRORS
+202 ERRORS