Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates