feat(compiler): Add feature to insert map from a function result with correct type [LNG-367]

[DieMyst]

Description

Make it possible to push a key and a value into stream maps as it is in streams:

func foo() -> string, u64:
  <- "123", 42

func create() -> %u64:
  map: %u64
  map <- foo()
  <- map

Checklist

• Corresponding issue has been created and linked in PR title.
• Proposed changes are covered by tests.
• Documentation has been updated to reflect the changes (if applicable).
• I have self-reviewed my code and ensured its quality.
• I have added/updated necessary comments to aid understanding.

Reviewer Checklist

• Tests have been reviewed and are sufficient to validate the changes.
• Documentation has been reviewed and is up to date.
• Any questions or concerns have been addressed.

[linear]

LNG-367 Push key-value to map if function return correct pair as a result

[InversionSpaces]

This guard does not help, as it is after the main case above, it should be before.
This code produces incorrect AIR:

func foo() -> %string, u64:
  map: %string
  <- map, 42

func main() -> string:
  m <- foo()
  <- m.get("key")!

AIR: (ap (%map 42) %m)

[InversionSpaces]

nit: I would call it elementProduct, bc it is unclear on the first glance how to transform map type to product