add unfinalize, finalizable-object; generalize instance-finalized-p; reorganize file