Parametric operational semantics for consistency models