Remove element: drop the dots currently on it. The context is unchanged (those dots stay witnessed, so the removal propagates on merge).