Remove `E_type_in` in typed and aggregated (!1779) · Merge requests · ligolang / LIGO

Merged E. Rivas requested to merge er433/clean-up/e_let_type_in into dev Jun 06, 2022

type:internal

The construction E_type_in is not really used after typing, as typing evaluates types, and local definitions are not needed anymore.

Changelog details:

Remove `E_type_in` in typed and aggregated