s: WIP snapshot (ok)
s: Typed colums, II: enforce