Some progress on Data.LVar.Counter.