Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems