a sketch for what operational semantics mean for Lambda.