Adds applied_types to a DataCon.

Rewrites to: data DataCon = MkDataCon { datacon_name :: Id, signature ::
[Ty], applied_types :: [Ty]}