An exception thrown from 'insert' function is not wrapped by wrapException
We need an explicit SliceStart type to mark the beginning of an inclusive slice. See Test.hs for an example.
… and changed the implementation of server removal to not assume the server to be removed is the current one.
…sabling of dead servers.