Remove pessimisation from Defunctionalisation

Call 'nub' once at the end, not every time something is added to the
eval/apply structure!