Make Transforms.Constructors convert DataSpec declarations into super-combinators

Something like

data List = Cons x xs | Nil;

Gets translated to

Cons x xs = Pack{3, 2} x xs;
Nil = Pack{4, 0};

The auto-generated super-combinators are eta-expanded because the Pack operator
can't be partially applied (but the super-combinators can be).