A Conservative Look at Operational Semantics with Variable Binding