Remove `E_type_in` in typed and aggregated

Merged E. Rivas requested to merge er433/clean-up/e_let_type_in into dev

type:internal

For LIGO developers

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

Changelog details:

Merge request reports