Better defunctionalization through lambda set specialization