Make data declarations polymorphic

[samvv]

Now that kind inference works and enum-declarations are supported, this issue can be closed.