tighten up the sync stack-based impls for Identity, State; still need to work on Cont