Core Operational Semantics of Proto