fix generic create
removed stupid (and wrong) invariant
fix invariant signature when Current is expanded without struct
new EDC work in progress, now using generic creation :-)