Hibernate

Renames hide to hibernate, and makes changes in the frontend to place hibernate in a hierarchy over lock to reduce clutter.