Shift type deletions can now be undone (Fixes #11)