ddc-core-simpl: make eta expansion transform anonymize type, so any references to local foralls become references to the newly created bindings