Implement Batch.update and complete Batch.take

Lift primitive to boxed Batch conversions to eliminate code duplication.