Remove apparently defunct 'doneness' system

What looks like an early form of lock caching, this was comparing pointers
to promises for 'doneness'. This would (a) not work because of Promise* copying,
and (b) be overridden by lock caching.