Enriched Lawvere Theories for Operational Semantics