Composition as identity, mereological essentialism, and counterpart theory