batchman.is.done becomes an S3 class