ddc-core: add solved constraints to solved set
ddc-core: allow unannotated function parameters with non-rec let bindings