Add a preliminary consistent store

Aren't we going to want the SCT, in that case?