data is now exported with explicit kind signatures.

Also allowed exporting data of higher order type(e.g.
   data T : ((Set -> Set) -> Set -> Set) -> (Set -> Set) -> Set where ...
)