adds example program and finishes big step semantics