Deprotocolized virtually all of the immediate_consistency layer, leaving behind typename keywords perhaps.