Split one BIG HACL_StorageSQL into many small storage classes