add plan for "Operational Semantics" notes