Monomorphisation: forall eta expand in monomorphisation

type:fixed

For LIGO developers

This MR fixes some pathological case reminiscent from monomorphisation which is let-polymorphism focused.

Changelog details: