Operating System Support for Abstract Data(base) Types