extended documentation; thoughts on instance-specific value sealers