ddc-core: type checking, search for type constructors in the kind environment too
ddc-core-simpl: add transformDown boilerplate
ddc-core-simpl: add first cut eta expansion
ddc-core-simpl: adding boilerplate for eta expansion
Add eta transform test
ddc-core-simpl: finish eta transform