An Operational Semantics for a Language with Early Completion Data Structures