Adds applied_types to a DataCon.

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