Text this: Categorical Model of Structural Operational Semantics for Imperative Language.