Remove IORef
indirection from TheoremDB
#1882
Merged
IORef
indirection from TheoremDB
#1882