A typed, persistent store for values of arbitrary types